$\forall$$T$:Type, $l$:($T$ List). fseg($T$;[];$l$)